sum{-}deq{-}aux\{v:l, i:l\}($A$; $B$; $a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{sumdeq{-}property:ObjectId, v:l, i:l\}($A$,$B$,$a$,$b$)